22. 圏論から見たモナド